Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorised throughout the evaluation, i.e. evaluations of distinct occurrences of an atom in a compound statement may yield different truth values. We provide a simple semantics for free short-circuit (...) logic and an independent axiomatisation. Finally, we discuss evaluation strategies, some other SCLs, and side effects. (shrink)

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first is insufficient to determine the value of the expression. Com...

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.

Nature Network Groups hosted an invited workshop on 'Theories of Consciousness' during the second semester of 2009. There were presentations by each of 15 authors active in the field, followed by debate with other presenters and invitees. A week was allocated to each of the theories proposed; general discussion threads were also opened from time to time, as seemed appropriate. We offer here an account of the principal outcomes. It can be regarded as a contemporary, 'state of the art' snapshot (...) of thinking in this field. (shrink)

In defining physical (i.e. causal dynamic) units to which conscious experience is to be ascribed, integrated information theory (IIT) raises three notable requirements: (1) that a unit to which consciousness is ascribed must be defined, or circumscribed, by some intrinsic aspect or property, where intrinsic implies existing 'for itself' or 'from its point of view'; (2) that the intrinsic aspect that defines the unit to which consciousness is ascribed must be dynamic (i.e. involve causal power) rather than purely structural or (...) kinematic; (3) that this dynamic aspect must involve the integration of elements of information in such a way that semantic values of elements are interdependent, allowing rich meaning. It will be argued that, although these requirements are all well-motivated, IIT falls short on them within a testable natural science framework. Concerns raised about the three requirements all point towards one central problem: that the concept of 'integrated information' does not involve any specific causal relation. Although IIT starts from strictly causal premises, the final analysis appears to invoke two incompatible accounts of the same events, with 'integration' having no causal relational basis. It will also be argued that the way IIT attempts to provide a testable theory of dynamic units to which consciousness is ascribed mustcausal reason inherent in any means of testing, be at best redundant for in the human case and, as a general principle, untenable. (shrink)

In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.

Originally published in 1933, this volume contains the emended text of the Adamson Lecture for 1930, delivered by H. J. C. Grierson under the title 'Carlyle and the Hero'. This book will be of value to anyone with an interest in the modern and possibly controversial applications of Carlyle's philosophy.

Two problems involving Thucydides and medicine have attracted intense treatment by classical scholars and medical men working separately or in combination. They are, first, the nature of the Athenian Plague which Thucydides describes and, second, the possibility of his having been influenced by the doctrines and outlook of Hippocrates and his followers. It is the purpose of the present paper to reconsider both these problems, to indicate some false assumptions made in the methodology of previous attempts to identify the Plague, (...) and to suggest a somewhat radical revaluation of Thucydides' approach to medical matters compared with that of Hippocrates. (shrink)

As an immediate reply, meanwhile, I should like to make a remark or two about what is perhaps the central issue raised in the foregoing Comment. This is whether Price's dispositional reduction, or anyone's dispositional reduction can adequately render the act of thinking. Alternatively, the question could, I think, be stated in more presently-favoured language. One could ask whether statements about universals, thoughts, concepts, or ideas can be logically deduced from dispositional statements not containing these "mentalistic" terms. If one is (...) inclined to prefer this more lengthy formulation one may then take this to be my meaning; whenever "dispositional solution" or "dispositional reduction" is mentioned one may translate it into this longer form. (shrink)

In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.

Ever since they were first published, the works of Bernard Mandeville have met with a few careful readers as well as with a larger number of stupid or unscrupulous assailants. Both classes are faithfully recorded at the end of F. B. Kaye's splendid edition of The Fable of the Bees , which has helped to revive interest in Mandeville, and which has moulded the current estimate of his ideas: the treatment of Mandeville in such a work as Basil Willey's Eighteenth (...) Century Background is confessedly based almost entirely on Kaye. My purpose in this paper is to suggest some modifications of the account given by Kaye, and to make claims for Mandeville's importance in one particular field, the relation of ethics to politics. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)